/* Copyright 2009
 *
 * This program and the accompanying materials
 * are made available under the terms of the
 * Eclipse Public License v1.0 which accompanies
 * this distribution, and is available at
 *
 * 		http://www.eclipse.org/legal/epl-v10.html
 *
 * Unless required by applicable law or agreed to in
 * writing, software distributed under the License is
 * distributed on an "AS IS" BASIS, WITHOUT WARRANTIES
 * OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing
 * permissions and limitations under the License.
 *
 * Contributors:
 * 	   IBM Corporation - initial API and implementation for JDT/DLTK
 *     Sean W. Quinn - initial adoption for use with PHP from various sources.
 */
package org.eclipse.php.internal.ui.preferences;

/**
 * @author Sean W. Quinn (swquinn@gmail.com)
 *
 */
public class PHPPreferenceConstants extends org.eclipse.dltk.ui.PreferenceConstants {
  /**
   * A preference that controls the selected formatter.
   */
  public static final String FORMATTER_ID = "formatterId"; //$NON-NLS-1$

  /**
   * The symbolic font name for the Java editor text font
   * (value <code>"org.eclipse.jdt.ui.editors.textfont"</code>).
   */
  public final static String EDITOR_TEXT_FONT= "org.eclipse.php.ui.editors.textfont"; //$NON-NLS-1$
}
